Next:
Evaluable Predicates
Up:
SB-Prolog: Operational Semantics
Previous:
Cuts and If-Then-Else
Contents
Index
Sorry, this requires a browser that supports frames!
Try
node23_ct.html
instead.